The SAVE System: Secure Architecture for Voting Electronically: Existing Technology, with Built-in Redundancy, Enables Reliability

Existing technology is capable of yielding secure, reliable, and auditable voting systems. This system outlines an architecture based on redundancy at each stage of the ballot submission process that is resistant to external hacking and internal insertion of malicious code. The proposed architecture addresses all layers of the system beyond the point when a voter commits the ballot. These steps include the verification of eligibility to vote, authentication, and aggregation of the vote. A redundant electronic audit trail keeps track of all of the votes and messages received, rendering a physical paper trail unnecessary. There is no single point of failure in the system, as none of the components at a particular layer relies on any of the others; nor is there a single component that decides what tally is correct. Each system arrives at the result on its own. Programming time for implementation is minimal. The proposed architecture was written in Java in a short time. A second programmer was able to write a module in less than a week. Performance and reliability are incrementally improvable by separate programmers writing new redundant modules

BioJADE: A Design and Simulation Tool for Synthetic Biological Systems

The next generations of both biological engineering and computer engineering demand that control be exerted at the molecular level. Creating, characterizing and controlling synthetic biological systems may provide us with the ability to build cells that are capable of a plethora of activities, from computation to synthesizing nanostructures. To develop these systems, we must have a set of tools not only for synthesizing systems, but also designing and simulating them. The BioJADE project provides a comprehensive, extensible design and simulation platform for synthetic biology. BioJADE is a graphical design tool built in Java, utilizing a database back end, and supports a range of simulations using an XML communication protocol. BioJADE currently supports a library of over 100 parts with which it can compile designs into actual DNA, and then generate synthesis instructions to build the physical parts. The BioJADE project contributes several tools to Synthetic Biology. BioJADE in itself is a powerful tool for synthetic biology designers. Additionally, we developed and now make use of a centralized BioBricks repository, which enables the sharing of BioBrick components between researchers, and vastly reduces the barriers to entry for aspiring Synthetic Biologists

Selecting RNA aptamers for synthetic biology: investigating magnesium dependence and predicting binding affinity.

The ability to generate RNA aptamers for synthetic biology using in vitro selection depends on the informational complexity (IC) needed to specify functional structures that bind target ligands with desired affinities in physiological concentrations of magnesium. We investigate how selection for high-affinity aptamers is constrained by chemical properties of the ligand and the need to bind in low magnesium. We select two sets of RNA aptamers that bind planar ligands with dissociation constants (K(d)s) ranging from 65 nM to 100 microM in physiological buffer conditions. Aptamers selected to bind the non-proteinogenic amino acid, p-amino phenylalanine (pAF), are larger and more informationally complex (i.e., rarer in a pool of random sequences) than aptamers selected to bind a larger fluorescent dye, tetramethylrhodamine (TMR). Interestingly, tighter binding aptamers show less dependence on magnesium than weaker-binding aptamers. Thus, selection for high-affinity binding may automatically lead to structures that are functional in physiological conditions (1-2.5 mM Mg(2+)). We hypothesize that selection for high-affinity binding in physiological conditions is primarily constrained by ligand characteristics such as molecular weight (MW) and the number of rotatable bonds. We suggest that it may be possible to estimate aptamer-ligand affinities and predict whether a particular aptamer-based design goal is achievable before performing the selection

Who Does Better with a Big Interface? Improving Voting Performance of Reading for Disabled Voters

This study shows how ballot interfaces variably affect the voting performance of people with different abilities. An interface with all information viewable simultaneously might either help orient or overwhelm a voter, depending on he/her skill-set. Voters with diagnosed reading disabilities performed significantly better on full-faced voting machines than those who demonstrated a high likelihood of similar, but undiagnosed, disabilities. In contrast, the diagnosed group performed worse than others when using standard-sized Direct Recording Electronic (DRE) systems. We suspect that this observed difference in performance is due to the interaction of system features with learned coping techniques, which allow diagnosed reading disabled voters to function effectively in other parts of everyday life. The full-faced system provides a means of orienting but not of guiding the voter, while the standard DRE guides the users through the voting process without giving the voter a means of orienting themselves. A hybrid design that incorporates the advantages of both these systems might be beneficial for both reading disabled and non-reading disabled voters

Design and simulation tool for synthetic biological systems

Thesis (M. Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.Includes bibliographical references (p. 83-85).The next generations of both biological engineering and computer engineering demand that control be exerted at the molecular level. Creating, characterizing and controlling synthetic biological systems may provide us with the ability to build cells that are capable of a plethora of activities, from computation to synthesizing nanostructures. To develop these systems, we must have a set of tools not only for synthesizing systems, but also designing and simulating them. The BioJADE project provides a comprehensive, extensible design and simulation platform for synthetic biology. BioJADE is a graphical design tool built in Java, utilizing a database back end, and supports a range of simulations using an XML communication protocol. BioJADE currently supports a library of over 100 parts with which it can compile designs into actual DNA, and then generate synthesis instructions to build the physical parts. The BioJADE project contributes several tools to Synthetic Biology. BioJADE in itself is a powerful tool for synthetic biology designers. Additionally, we developed and now make use of a centralized BioBricks repository, which enables the sharing of BioBrick components between researchers, and vastly reduces the barriers to entry for aspiring Synthetic Biologists.by Jonathan Ari Goler.M.Eng.and S.B

BglBricks: A flexible standard for biological part assembly

<p>Abstract</p> <p>Background</p> <p>Standard biological parts, such as BioBricks™ parts, provide the foundation for a new engineering discipline that enables the design and construction of synthetic biological systems with a variety of applications in bioenergy, new materials, therapeutics, and environmental remediation. Although the original BioBricks™ assembly standard has found widespread use, it has several shortcomings that limit its range of potential applications. In particular, the system is not suitable for the construction of protein fusions due to an unfavorable scar sequence that encodes an in-frame stop codon.</p> <p>Results</p> <p>Here, we present a similar but new composition standard, called BglBricks, that addresses the scar translation issue associated with the original standard. The new system employs BglII and BamHI restriction enzymes, robust cutters with an extensive history of use, and results in a 6-nucleotide scar sequence encoding glycine-serine, an innocuous peptide linker in most protein fusion applications. We demonstrate the utility of the new standard in three distinct applications, including the construction of constitutively active gene expression devices with a wide range of expression profiles, the construction of chimeric, multi-domain protein fusions, and the targeted integration of functional DNA sequences into specific loci of the <it>E. coli </it>genome.</p> <p>Conclusions</p> <p>The BglBrick standard provides a new, more flexible platform from which to generate standard biological parts and automate DNA assembly. Work on BglBrick assembly reactions, as well as on the development of automation and bioinformatics tools, is currently underway. These tools will provide a foundation from which to transform genetic engineering from a technically intensive art into a purely design-based discipline.</p

BBF RFC 21: BglBricks Assembly Standard

The BglBricks standard has been developed as an alternative to the original XbaI/SpeI standard primarily to provide a solution to the issue of generating translational-fusion parts. When joined together in a standard assembly reaction, BglBricks parts contain a scar sequence of GGATCT between the two parts. This sequence conveniently translates as Gly-Ser in the zero frame, a commonly-used linker in protein engineering. BglBricks has previously been called the “BglBrick” standard, and is also referred to as Assembly standard 21. A consolidated description of the standard is available at: http://openwetware.org/wiki/Template:AndersonLab:BglBrick_Standar

The SAVE system – secure architecture for voting electronically

Existing technology is capable of yielding secure, reliable, and auditable voting systems. This system outlines an architecture based on redundancy at each stage of the ballot submission process that is resistant to external hacking and internal insertion of malicious code. The proposed architecture addresses all layers of the system beyond the point when a voter commits the ballot. These steps include the verification of eligibility to vote, authentication, and aggregation of the vote. A redundant electronic audit trail keeps track of all of the votes and messages received, rendering a physical paper trail unnecessary. There is no single point of failure in the system, as none of the components at a particular layer relies on any of the others; nor is there a single component that decides what tally is correct. Each system arrives at the result on its own. Programming time for implementation is minimal. The proposed architecture was written in Java in a short time. A second programmer was able to write a module in less than a week. Performance and reliability are incrementally improvable by separate programmers writing new redundant modules

Selecting RNA aptamers for synthetic biology: investigating magnesium dependence and predicting binding affinity.

The ability to generate RNA aptamers for synthetic biology using in vitro selection depends on the informational complexity (IC) needed to specify functional structures that bind target ligands with desired affinities in physiological concentrations of magnesium. We investigate how selection for high-affinity aptamers is constrained by chemical properties of the ligand and the need to bind in low magnesium. We select two sets of RNA aptamers that bind planar ligands with dissociation constants (K(d)s) ranging from 65 nM to 100 microM in physiological buffer conditions. Aptamers selected to bind the non-proteinogenic amino acid, p-amino phenylalanine (pAF), are larger and more informationally complex (i.e., rarer in a pool of random sequences) than aptamers selected to bind a larger fluorescent dye, tetramethylrhodamine (TMR). Interestingly, tighter binding aptamers show less dependence on magnesium than weaker-binding aptamers. Thus, selection for high-affinity binding may automatically lead to structures that are functional in physiological conditions (1-2.5 mM Mg(2+)). We hypothesize that selection for high-affinity binding in physiological conditions is primarily constrained by ligand characteristics such as molecular weight (MW) and the number of rotatable bonds. We suggest that it may be possible to estimate aptamer-ligand affinities and predict whether a particular aptamer-based design goal is achievable before performing the selection